7. Discussion

نویسنده

  • D. Kozen
چکیده

In this paper we have investigated ways to incorporate both internal and external nonde-terministic actions in a system that formalizes the reasoning of agents on their abilities and the eeects of the actions that they perform. To this end we deened the notions of-nite computation sequences and nite computation runs: these are nite strings of atomic actions and tests. The results that we obtain seem to be intuitively correct. Our further research regarding the topics introduced in this paper will mainly be focused on two points: rstly we would like to deene a uniied framework in which internal and external nondeterminism can be combined, and secondly it seems interesting to investigate a rst-order variant of the framework deened in this paper, in which it is possible that the agents reason with and about the sequences of semi-atomic actions that constitute an action. and branching time semantics for recursion with merge.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

LITERATURE DISCUSSION GROUPS 1 LITERATURE DISCUSSION GROPUPS AND READING COMPREHENSION by Holly Tugman SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTERS IN ARTS IN EDUCATION

4 Chapter I: Introduction 5 Statement of the Problem 6 Research Questions 6 Chapter II: Review of Literature 7 Theoretical Framework 7 Implementing Literature Discussion Groups 9 Talk about the text 12 Small group discussion is better than whole class 15 Students can learn in student-led discussion 19 Literature Discussion Group Effects on Comprehension 23 Comprehension strategies influence und...

متن کامل

Voter models with heterozygosity selection

2 Methods and discussion 7 2.1 Interfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2 Homogeneous laws . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3 Comparison with oriented percolation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.4 Discussion and open problems . . . ....

متن کامل

Robustness of Results and Conclusions in Systematic Reviews, Trials and Abstracts

...............................................................................................................................5 Danish Summary..................................................................................................................6 Introduction ..........................................................................................................................7 S...

متن کامل

Problem Solving in Infancy - a Study of Infants ' Performance on Tasks of Spatial Manipulation

Chapter 1 Introduction Chapter 2 Methods Analysis Chapter 3 Lever task (i) Results (ii) Discussion Chapter 4 Wire task (i) Results (ii) Discussion Chapter 5 Spatial Task (i) Results (ii) Discussion Chapter 6 Relations between tasks Chapter 7 Conclusions Appendix 1 Appendix 2 Appendix 3 Appendix 4 Appendix 5 Bibliography (i) Results (ii) Discussion 1

متن کامل

Design Space for a Bulk Transport Tool

2 Design Space Dimensions 2 2.1 Explicit congestion feedback . . . . . . 2 2.1.1 Source Quench . . . . . . . . . 3 2.1.2 Explicit Congestion Notification 3 2.1.3 eXplicit Congestion Protocol . 3 2.1.4 MaxNet . . . . . . . . . . . . . 4 2.1.5 Explicit Queuing Delay Accounting . . . . . . . . . . . . . 4 2.1.6 Discussion . . . . . . . . . . . . 4 2.2 Implicit input for congestion control algorith...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993